regular language quotient